I sometimes need to pull OVA files into VMWare, infrequently enough that I forget how to do it each time...
